More from this Author

Formal Methods for Components and Objects

by Frank S. De Boer (Editor), Marcello M. Bonsangue (Editor), Stefan Hallerstede (Editor)